callCall is package {
  call(N) is N-1;
  
  main() do {
    assert call(2)=1;
  }
}